COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00004 ENDMK
C⊗;
.DEVICE XGP;
.!XGPLFTMAR←200;
.MACRO TABIT1(X)⊂ TURN ON "\" NOFILL TABS X;KRK;⊃
.MACRO KRK ⊂INDENT 0⊃


.HLINES← IF XCRIBL THEN 75 ELSE 53;	<< NUMBER OF LINES/PAGE >>
.WCHARS← IF XCRIBL THEN 81 ELSE 69;	<< NUMBER OF CHARS/LINE >>
.PAGE FRAME HLINES+2 HIGH WCHARS WIDE;
.AREA TEXTER LINES 4 TO HLINES CHARS 1 TO WCHARS;
.FONT 1 "BASL30"
.FONT 2 "bdr40"
.FONT 3 "baxb30"
.font 4 "basi30"
.font 5 "ms25"
.FONT b "grfx25[LSP,JRA]"	<<box notation>>
.turn on "%#";

.GROUP SKIP 7;
.BEGIN "xxx" CENTER;SELECT 1;
UNIVERSITY OF CALIFORNIA
SANTA CRUZ
.GROUP SKIP 2;
%2Generating Correct Programs From Logic Specifications%1
.group skip 3
A Dissertation submitted in partial satisfaction of the
requirements for the degree of
.GROUP SKIP 2
DOCTOR OF PHILOSOPHY
.GROUP SKIP 1
in
.group skip 1
INFORMATION SCIENCES
.group skip 2
by
.group skip 1
Ruth Ellen Davis
.group skip 1
June 1979
.END "xxx"
.group skip 4

.BEGIN tabit1(50)
\The dissertation of Ruth Ellen Davis
\is approved:
.group skip 2
\____________________________________

\____________________________________

\____________________________________
.END

_______________________________________

####Dean of the Graduate Division